Two-level languages for program optimization
نویسنده
چکیده
منابع مشابه
A Non-Procedural High-Level Language for Automated Design of Application Systems
This paper focuses on the use of high-level non-procedural languaGes for stating system requirements in computer-aided design of larqescale information systems. Necessary and desirable features of such a language are considered along with the resolution to a 9roblem definition technique composed of two requirement statement languages and their analyzers as they relate to the infor~ation ~Y5tem ...
متن کاملSemantics Directed Program Execution Monitoring
Monitoring semantics is a formal model of program execution which captures “monitoring activity” as found in profilers, tracers, debuggers, etc. Beyond its theoretical interest, this formalism provides a new methodology for implementing a large family of source-level monitoring activities for sequential deterministic programming languages. In this article we explore the use of monitoring semant...
متن کاملOn Eliminating Redundant Computation from High-Level Array Statements
High-level array programming languages are well-suited for scientific computing. Such languages free the programmer from the responsibility of managing burdensome low-level details that complicate programming in languages like C and Fortran. But these details do not vanish. We argue that the compiler should relieve the programmer of this burden. In this paper, we present a compiler optimization...
متن کاملBigloo: A Portable and Optimizing Compiler for Strict Functional Languages
We present Bigloo, a highly portable and optimizing compiler. Bigloo is the rst compiler for strict functional languages that can eeciently compile several languages: Bigloo is the rst compiler for full Scheme and full ML, and for these two languages, Bigloo is one of the most eecient compiler now available (Bigloo is available by anonymous ftp on ftp.inria.fr 192.93.2.54]). This high level of ...
متن کاملSynthetic Programming: User-directed Run-time Code Synthesis for High Performance Computing
Scripting and interpreted languages are important tools for software engineering and are often used in place of compiled languages for application development. While they enable a high level of developer productivity, their run-time environments limit the overall performance attainable with any given application. To develop performance-critical applications, developers continue to rely on compi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 315 شماره
صفحات -
تاریخ انتشار 2004